proposizione atomica